73509023ecf3207d958f2e669db5ddd10dc24dd8,src/org/exist/dom/NewArrayNodeSet.java,NewArrayNodeSet,filterDocuments,#NewArrayNodeSet#,658

Before Change


    public NodeSet filterDocuments(NewArrayNodeSet other) {
        NewArrayNodeSet result = new NewArrayNodeSet();
        for (int i = 0; i < other.size; i++) {
            int idx = Arrays.binarySearch(documentIds, 0, documentCount, other.nodes[i].getDocument().getDocId());
            if (idx > -1)
                result.add(other.nodes[i]);
        }

After Change


    public NodeSet filterDocuments(NewArrayNodeSet other) {
        NewArrayNodeSet result = new NewArrayNodeSet();
        for (int i = 0; i < other.size; i++) {
            int idx = findDoc(other.nodes[i].getDocument().getDocId());
            if (idx > -1)
                result.add(other.nodes[i]);
        }